CELL BIOLOGY: Checking Centrosomes
نویسندگان
چکیده
منابع مشابه
Model Checking Cell Biology
Mathematical models of real biological systems have predominantly been deterministic or stochastic continuous models. However, there are reasons to believe that at least some processes can be modeled in a "digital" way. Once we do that, we enter the domain of concurrent and reactive systems. Perhaps techniques from formal verification could lead to insights about the systems principles that all...
متن کاملModel Checking in Biology
Model checking is a technique to check whether programs and designs satisfy properties expressed in temporal logic. Such properties characterize sequences of events. In recent years, model checking has become a familiar tool in software and hardware industries. One of the main strengths of model checking is its ability to supply counter examples: in case that the property is not satisfied by th...
متن کاملChecking cell size in budding yeast: a systems biology approach.
The regulation of cell cycle progression via the attainment of a critical cell size is a conserved feature from simpler unicellular organisms to mammalian cells that is obtaining much attention recently. Genome wide analysis of Saccharomyces cerevisiae deletion strains, genetic epistasis, DNA microarray analysis have recently revealed an increasingly complex network of cell size modulation mech...
متن کاملCentrosomes lead stem cell orientation
tem cells in the fly male germ line can both maintain their numbers and produce differentiating progeny by correctly orienting cell division, according Asymmetric cell division is associated with control over spindle orientation in several models, such as the fly neuroblast and the worm P1 cell. In both of these cases, the spindle is reoriented during mitosis. But in fly germline stem cells (GS...
متن کاملProbabilistic Model Checking for Biology
Probabilistic model checking is an automated method for verifying the correctness and performance of probabilistic models. Property specifications are expressed in probabilistic temporal logic, denoting, for example, the probability of a given event, the probability of its occurrence within a given time interval, or expected number of times it has occurred in a time period. This chapter focuses...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2002
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.297.5584.1097c